$\forall$${\it ds}$:fpf(Id; $x$.Type), ${\it da}$:fpf(Knd; $k$.Type). event{-}info(${\it ds}$;${\it da}$) $\in$ Type